Compiler correctness

Results: 26



#Item
11Program Logics for Certified Compilers

Program Logics for Certified Compilers

Add to Reading List

Source URL: vst.cs.princeton.edu

Language: English - Date: 2013-05-31 14:00:42
12Decision Procedures for the Grand Challenge Daniel Kroening Computer Systems Institute ETH Z¨urich Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the

Decision Procedures for the Grand Challenge Daniel Kroening Computer Systems Institute ETH Z¨urich Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:06
    132015 IEEE CS Security and Privacy Workshops The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA

    2015 IEEE CS Security and Privacy Workshops The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA

    Add to Reading List

    Source URL: spw15.langsec.org

    Language: English - Date: 2015-05-21 16:43:45
      14The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

      The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

      Add to Reading List

      Source URL: spw15.langsec.org

      Language: English - Date: 2015-05-21 18:34:40
        15Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France

        Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France

        Add to Reading List

        Source URL: cristal.inria.fr

        Language: English - Date: 2009-04-07 07:40:29
        16Checking Correctness of Code Generator Architecture Specifications ∗ Niranjan Hasabnis Rui Qiao

        Checking Correctness of Code Generator Architecture Specifications ∗ Niranjan Hasabnis Rui Qiao

        Add to Reading List

        Source URL: seclab.cs.sunysb.edu

        Language: English - Date: 2015-02-26 08:58:27
        17Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of

        Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of

        Add to Reading List

        Source URL: cseweb.ucsd.edu

        Language: English - Date: 2006-03-22 02:52:44
        18Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France

        Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France

        Add to Reading List

        Source URL: pauillac.inria.fr

        Language: English - Date: 2009-04-07 07:40:29
        19Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper

        Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper

        Add to Reading List

        Source URL: www.kneuper.de

        Language: English - Date: 2012-02-09 04:37:54
        20PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen)

        PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen)

        Add to Reading List

        Source URL: www.nii.ac.jp

        Language: English - Date: 2011-12-19 05:05:49